//#include <stdio.h>
//
//void SayHello(const char* s) {
//    puts(s);
//}